Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
311	Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation Mario Alviano, Wolfgang Faber, and Nicola Leone Department of Mathematics University of CalabriaRende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-17 20:33:04 Logic programming Mathematical logic Theoretical computer science Logic Order theory Model theory Stable model semantics Path ordering Negation as failure FO
312	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic
313	A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers Giuseppe Della Penna1 , Francesca Fallucchi3 , Benedetto Intrigila2 , and Daniele Magazzeni1 1 Add to Reading List Source URL: art.uniroma2.it Language: English - Date: 2013-05-28 06:48:35 Systems science Cybernetics Systems theory Fuzzy logic Control engineering Science and technology Control theory Automation Control system Fuzzy control system Controller Fuzzy set
314	On the Syntax and Semantics of Effect Axioms Haythem O. Ismail Department of Computer Science German University in Cairo e-mail: Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-09 04:22:06 Logic Mathematical logic Formal systems Abstraction Axiom Logic programming Mereology
315	Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-29 06:58:27 Theoretical computer science Logic in computer science Programming language semantics Denotational semantics Semantics Action semantics Operational semantics Programming language
316	Modeling Mutual Capabilities in Heterogeneous Teams for Role Assignment Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and velos Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:08 Systems science Science Philosophy Algorithm Mathematical logic Theoretical computer science Expected value Team Mathematical optimization Robotics Robot Agent-based model
317	Chainsaw: A Metareasoner for Large Ontologies Dmitry Tsarkov and Ignazio Palmisano University of Manchester, School of Computer Science, Manchester, UK {tsarkov, palmisai}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Semantic Web Logic Knowledge Knowledge representation Information science Reasoning Knowledge engineering Semantic reasoner Description logic Ontology Web Ontology Language Inference
318	Bio-PEPA: A collective dynamics approach to systems biology Jane Hillston. University of Edinburgh. Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-11 05:00:03 Theoretical computer science Process calculi Jane Hillston PEPA Logic in computer science Metaphor Simulation Scientific modelling Stochastic Mathematical model Semantics Economic model
319	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group
320	Generating Quantifiers and Negation to Explain Homework Testing Jason Perry and Chung-chieh Shan Rutgers University Department of Computer Science Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2012-03-01 10:11:23 Logic Grammar Linguistics Semantics Syntax Predicate logic Grammatical Framework Logical Form Quantifier Parsing Phrase structure rules Categorial grammar

UPDATE